UK

Results: 509634



#Item
201Software / Automated theorem proving / Theoretical computer science / Formal methods / TPTP / Proof assistant / Frama-C / Theorem prover / E theorem prover / Theorem / Isabelle

Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-08-08 03:28:45
202

1 NNT : 2016SACLN058 Thèse de doctorat de l’Université Paris-Saclay

Add to Reading List

Source URL: cgi.csc.liv.ac.uk

Language: French - Date: 2018-05-18 11:41:55
    203Mathematics / Dynamic programming / Markov decision process / Stochastic control / Probability / Mathematical analysis / Reachability

    Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2008-07-01 03:47:28
    204Temporal logic / Linear temporal logic / Theoretical computer science / Symbol / Mathematical logic / Computation tree logic

    Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2015-10-01 09:45:47
    205Technology / Mobile technology / Information and communications technology / Mobile telecommunications / Deutsche Telekom / Ofcom / Postal system of the United Kingdom / Television in the United Kingdom / EE Limited / Mobile phone / Prepay mobile phone / BT Group

    Protecting consumers from mis-selling of mobile services Schedule General Condition 23 on Sales and Marketing of Mobile Telephony Services

    Add to Reading List

    Source URL: trianglenetworks.co.uk

    Language: English - Date: 2018-03-21 13:51:22
    206

    fåîÉåíçêó ^ÅÅKVTNN táääá~ã=j~íÜÉëçå=m~éÉêë k~íáçå~ä=iáÄê~êó=çÑ=pÅçíä~åÇ

    Add to Reading List

    Source URL: www.nls.uk

    Language: Portuguese - Date: 2002-05-16 10:12:36
      207Stochastic simulation / Biology / Cell biology / Scientific modeling / PEPA / Epidermal growth factor / Simulation / Scientific modelling / Chemical kinetics / Computer simulation

      LNBIStronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods

      Add to Reading List

      Source URL: www.dcs.ed.ac.uk

      Language: English - Date: 2006-11-14 10:05:18
      208Mathematical analysis / Mathematical optimization / Operations research / Stochastic game / Nash equilibrium / Markov chain / Determinacy / Stochastic process / Mathematics / Analysis / Multi-objective optimization

      Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which

      Add to Reading List

      Source URL: qav.comlab.ox.ac.uk

      Language: English - Date: 2016-07-05 18:17:09
      209Computing / Modeling and simulation / Multi-agent systems / Artificial intelligence / Simulation software / Complex systems theory / Simulation / NetLogo / Agent-based model / Intelligent agent / Agent / Economics

      Why Information can be Free ˇ ce?† Ivana Caˇ ? Joanna J. Bryson†

      Add to Reading List

      Source URL: www.cs.bath.ac.uk

      Language: English - Date: 2005-01-16 17:42:03
      210Cryptocurrencies / Cryptography / Economy / Alternative currencies / Computing / Blockchains / Decentralization / Ethereum / Bitcoin / Public key infrastructure / Smart contract / Digital currency

      Who Am I? Secure Identity Registration on Distributed Ledgers Sarah Azouvi1 , Mustafa Al-Bassam1 , and Sarah Meiklejohn1 University College London {sarah.azouvi.13,mustafa.al-bassam.16,s.meiklejohn}@ucl.ac.uk

      Add to Reading List

      Source URL: smeiklej.com

      Language: English - Date: 2018-10-23 14:58:02
      UPDATE